HDFC shares to start trading under HDFC Bank ticker from July 13